Logic in computer science - PDFSEARCH.IO - Document Search Engine

Logic in computer science
Results: 2713

#	Item
201	EMERGENCE OF INTELLIGENT MACHINES: CHALLENGES AND OPPORTUNITIES Non-Human Intelligence Bart Selman Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-03 18:01:36 Boolean algebra Logic in computer science Boolean satisfiability problem Electronic design automation SAT Human intelligence
202	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Formally Specifying CARA in Java? Eugene W. Stark Department of Computer Science, State University of New York at Stony Brook, Stony Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2003-08-25 12:18:38 Formal methods Programming paradigms Cross-platform software Theoretical computer science Logic in computer science Infusion pump Model checking Formal verification Java Object-oriented programming Coupling Design by contract
203	Exercise 1. a. [B y ] I[z]→ Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-01-12 07:22:28 Logic in computer science FO Finite model theory Combinatory logic Logic programming
204	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic
205	Proof-Carrying Code from Certied Abstract Interpretation and Fixpoint Compression Frédéric Besson and Thomas Jensen and David Pichardie Irisa, Campus de Beaulieu, FRennes, France Abstract Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:20 Formal methods Type theory Dependently typed programming Theoretical computer science Logic in computer science Coq Abstract interpretation CurryHoward correspondence Predicate transformer semantics Proof-carrying code Correctness Lines of Action
206	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
207	cs281: Introduction to Computer Systems Lab02 – Basic Combinational Circuits: The Mux and the Adder Overview The objective of this lab is to understand two basic combinational circuits — the multiplexor and the adde Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 Logic gates Boolean algebra Digital circuits Logic in computer science Algebraic logic Multiplexer Adder Combinational logic Truth table Arduino Breadboard OR gate
208	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
209	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
210	Ernest Edmonds On New Constructs in Art sample New Constructs in Art Malevich’s insight into science and systems1 came well before the advent of Add to Reading List Source URL: research.it.uts.edu.au Language: English - Date: 2008-02-28 22:19:29 Formal sciences Art genres Computer art Digital art New media Interactive art Ernest Edmonds Computer Mathematics Logic Philosophy of mathematics Computing

UPDATE